1. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
2. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
3. Automated deduction - A Basis for applications
Author: edited by wolfgang Bibel, Peter H. Schmitt
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic programming,، Logic )mathematics(
Classification :
QA
76
.
63
.
A8
L6
4. Automated deduction-a basis for applications
Author: / edited by Wolfgang Bibel and Peter H.Schmitt
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Logic,Symbolic and mathematical,Automatic theorem proving
Classification :
QA
76
.
9
.
A96
1998
